#!/usr/bin/env php
<?php

require_once 'scanner.inc';

//$text = file_get_contents('input.txt');
$text = file_get_contents('Commander.class.php');

$t0 = microtime(true);

$input = new Stream($text);
$lex->run($input);

$t1 = microtime(true);
$time = 1000 * ($t1 - $t0);
echo "\ntime=$time\n";










